関係の論理

かんけいのろんり【関係の論理】

ブール・ド＝モルガン・パースらが展開した記号論理学の一分野。 二つ以上の対象間に成り立つ規定を関係として形式化し， その論理構造や法則性を取り扱う。 今日の述語論理学へと発展した。